/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */

package comunicacao;

import java.rmi.Remote;
import java.rmi.RemoteException;

/**
  * @author Leonardo Lino Nº45340
 * @author Diogo Pires Nº40351
 */
public interface MessageRedirectorInterface extends Remote {

	//Indica qual o servidor responsÃ¡vel por determinado teatro
	// no formato address:port:bindingName
	public String getResponsible(String theaterName) throws RemoteException;
	
	//Retorna uma lista com todos os nomes dos teatros
	public String listTheaters() throws RemoteException;
	
	// metodo para deitar abaixo o servidor
	public boolean falha() throws RemoteException;

	// metodo para recomeÃ§ar o servidor
	public boolean restart() throws RemoteException;
}
